The number of elements of a basis of <i>V</i>.
 For the trivial vector space {0}, the dimension  is 0.